package scala.examples.tcpoly.parsing

trait Inputters extends Results {
  // The type of the elements consumed by this parser
  type Elem
  type Input
  implicit def InputIsParseInput(in: Input): ParseInput
  
  type Info = Input
  
  trait ParseInput {
  	def first: Elem
    def rest: Input

  	def result[T](r: T): Success[T]
    def failure: Failure
    def error: Error
  }
}